21. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
3
.
L28
no
.
212
22. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
موضوع : ، Intuitionistic mathematics,، Proof theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
23. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
1
.
L4
v
.
212
24. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
3
.
L28
Vol
.
212
25. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
9
.
S3
1971
26. Proof theory and intuitionistic systems
Author: / Bruno Scarpellini
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intuitionistic mathematics,Proof theory
Classification :
510
.
8
L471
No
.
212
27. The development of modern logic
Author: edited by Leila Haaparanta
Library: Library of Mofid University (Qom)
Subject: History ، Logic
Classification :
BC15
.
D48
2009
28. Towards an arithmetical logic :
Author: by Yvon Gauthier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA1-939
